Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·1d·
Discuss: Hacker News
🎯Gradual Typing
Context-Specific Instruction: A Longitudinal Study on Debugging Skill Acquisition and Retention for Novice Programmers
arxiv.org·1h
⚔️Lean Tactics
Spider-Man: The Movie Game dissection project - Introduction
krystalgamer.github.io·11h·
Discuss: r/programming
🎮Game Decompilation
How I accidently created the fastest CSV parser ever made
sanixdk.xyz·1d·
Discuss: Lobsters, Hacker News, r/C_Programming
🚀SIMD Text Processing
Why I Chose Go
stratus3d.com·1d
🧠Lisp Dialects
Writing Memory Safe JIT Compilers
medium.com·3d·
Discuss: Hacker News
🦀Rust Macros
Revisiting bsdiff as a tool for digital preservation
exponentialdecay.co.uk·8h
💿FLAC Archaeology
Working at ABI boundaries
rkrishnan.org·1d
🦀Rust Borrowing
Make the most of compiled C loops on the 68000
dciabrin.net·10h·
Discuss: Hacker News
🎮Game Decompilation
The Compiler of the Future Is Context, Not Code
dev.to·3d·
Discuss: DEV
💻Programming languages
Concurrency and Parallelism
newsletter.francofernando.com·2d·
Discuss: Hacker News
🔩Systems Programming
Domain-Informed Genetic Superposition Programming: A Case Study on SFRC Beams
arxiv.org·1h
🔗Functional Compilers
Overkill JSON parser optimization: C/Assembly
raphaelouthier.github.io·1d·
Discuss: Hacker News
🔧Binary Parsers
Dynamic Experts Search: Enhancing Reasoning in Mixture-of-Experts LLMs at Test Time
arxiv.org·1h
✓Automated Theorem Proving
os-testing POSIX headers everywhere
sortix.org·6h
📺VT100 Emulation
Claude Code vs. Codex, a small test
danieltenner.com·1d·
Discuss: Hacker News
🎯Gradual Typing
The Lowest Level PL
pramatias.github.io·1d·
Discuss: Hacker News, r/rust
🦀Rust Macros
Code That Works Isn’t Always Code That Lasts
software.ac.uk·3d
📏Code Metrics
OjaKV: Context-Aware Online Low-Rank KV Cache Compression with Oja's Rule
arxiv.org·1h
🌊Streaming Compression
[R] ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution
reddit.com·3d·
Discuss: r/MachineLearning
⚡Performance Mythology